Spin : a Software for Computing State Polytopes of Toric Ideals
نویسندگان
چکیده
منابع مشابه
Computing Grr Obner Fans of Toric Ideals
The monomial initial ideals of a graded polynomial ideal are in bijection with the vertices of a convex polytope known as the state polytope of the ideal. The Grr obner fan of the ideal is the normal fan of its state polytope. In this paper we present a software system called TiGERS (Toric Grr obner bases Enumeration by Reverse Search) for computing the Grr obner fan of a toric ideal by enumera...
متن کاملQuadratic Gröbner bases for smooth 3 × 3 transportation polytopes
The toric ideals of 3 × 3 transportation polytopes Trc are quadratically generated. The only exception is the Birkhoff polytope B3. If Trc is not a multiple of B3, these ideals even have square-free quadratic initial ideals. This class contains all smooth 3 × 3 transportation polytopes.
متن کاملGröbner Basis Techniques in Algebraic Combinatorics
Gröbner basis techniques in the algebraic study of triangulations of convex polytopes as well as of the number of faces of simplicial complexes will be discussed. Of these two traditional topics in combinatorics, the first will be studied by using initial ideals of toric ideals and the second will be studied by using generic initial ideals of monomial ideals.
متن کاملAlgebraic Methods in Inte - Ger Programming
Introduction. This article highlights some of the recent results in theoretical integer programming that have been obtained by studying integer programs using tools from commutative algebra and algebraic geometry. The main computational tool involved in the discussion here is the Gröbner basis of a special polynomial ideal called a toric ideal [30],[14]. For connections between Gröbner bases of...
متن کاملPartition Matrices for Polytopes towards Computing Toric Residue
The toric residue is a map depending on n + 1 semi-ample divisors on a complete toric variety of dimension n . It appears in a variety of contexts such as sparse polynomial systems, mirror symmetry, and GKZ hypergeometric functions. In this paper we investigate the problem of finding an explicit element whose toric residue is equal to one. Such an element is shown to exist if and only if the as...
متن کامل